一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

可复用的需求建模方法

提出了一种特征驱动的可复用需求建模方法(RRM,Reusable RequirementMethod),此方法定义了一个可复用的需求建模过程(RRMP,Reusable Requirement Modeling Process),在领域工程和应用工程两个层面上都提出了相对完整的需求建模方法并将两个阶段有机地融合在一起.将主要研究方向着眼于领域模型的正确建立、合理剪裁和对象化过程,从而得到针对于具体应用的需求模型.在RRMP的过程指导下还将设计一个需求定制与应用开发平台(RAP,Requirement customing Application developing Platform).RAP平台立足于需求获取阶段,以用户易理解的图形化方式灵活直观地与用户进行需求交互,根据用户定制的需求自动生成具体应用的标准需求开发文档和开发过程中所产生的统一建模语言(UML,Unified Modeling Language),并最终开发出用户所需的领域内特定应用的原型系统.RAP平台主要包含3个部分:图形化需求定制工具,需求开发文档生成工具和目标应用开发工具.     

航空机电系统测试性建模与分析新方法

针对航空机电系统测试性设计(DFT)需求,提出基于面向对象的贝叶斯网络(OOBN)与状态-测试关联灵敏度指标的系统测试性建模与分析的新方法。该建模方法能清晰地刻画系统故障与测试间的关联程度,反映复杂系统的层次结构关系。基于信息论的交叉熵原理提出状态-测试关联灵敏度指标,并给出计算方法。该指标反映复杂机电系统测试中的不确定性影响,克服了基于香农熵的测点评判分析方法的缺点,结合测试性建模获得的模型信息进行推理计算,可用于测试性的定量分析。运用该综合分析方法对飞机燃油系统进行测试性建模与分析,结果表明所提出的方法与指标在航空机电系统DFT中具有实用性。     

轻量级门户单点登录服务机制

信息门户的建设过程中需要容易实施且灵活高效的整合模式.为克服传统单点登录机制无法满足在动态松耦合环境下实现快速整合的缺陷,结合面向服务架构思想,提出一种轻量级门户单点登录服务机制(LSSO-Service,Lightweight Single Sign-on Service),可为门户整合提供结构简单、完善通用、松散耦合、快速机动的单点登录服务.LSSO-Service基于高于对象层的分布式服务集成模式进行功能划分,可实现采用不同技术的应用系统在门户中的快速动态整合.阐述了LSSO-Service的设计思想和工作原理,并通过在国内某大型水利信息门户中的应用实践,说明该研究结果对于门户建设具有较高的理论意义和参考价值.      

通用故障诊断专家系统开发工具

介绍一个基于可靠性分析方法的非实时故障诊断专家系统(FDES)的通用开发工具(FDEST),可用于建立各类武器装备和民用产品的故障诊断专家系统,具有很强的推理能力和良好的开放性.文中论述FDEST的逻辑结构、系统功能;基于可靠性分析方法——故障树分析(FTA)的故障诊断推理方法:正、反向动态推理逻辑,支持Bayes(概率)、Mycin(置信度)和Fuzzy(模糊)三种不精确推理算法和四种不同的故障逻辑关系;面向对象与规则相结合、具有很强表达能力的综合知识表达方式,支持多媒体的动态诊断推理解释机制和故障处理方法(文本、图像、语音和视频);应用面向对象技术的软件设计与实现:对象的划分(FDEST对象、知识对象和FDES对象)、对象通讯关系及系统接口等系统的关键技术.      

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

利用Delphi设计开发卫星测控设备远程实时监控子系统

介绍了卫星某频段控制设备远程实时监控系统的总体设计思想,以及利用Ｄｅｌｐｈｉ３ ．０ 开发的具体实现方法,其中涉及了许多Ｄｅｌｐｈｉ 的最新技术。     

弹道并行计算的设计与实现

多条弹道并行计算是目前作战仿真，多目标探测等领域所急需解决的问题，利用面向对象的软件设计方法，将弹道计算过程抽象化为多个对象，分别对各种对象进行封装，有效地解决了并行弹道计算中内存混乱，可靠性差等问题，实现了多条弹道并行计算。     

故障型备件供应分析的面向对象仿真模型研究

准确预测航空备件需求是实现备件供应优化的基础。本文指出了当前航空备件供应中存在的问题及其原因,并对现有备件需求预测方法进行了简要分析,指出其不足、改进方向和本文研究的立足点。进而,利用OOS建模框架,研究了故障型备件供应的影响因素、仿真模型的建模对象、模型结构与行为、建模分析过程和实现要点。同时,针对典型问题,进行了仿真实验研究。实验证明:该建模和分析方法描述能力强,适用性和灵活性高。